let fst (a, _) = a
let snd (_, b) = b
